Budget slashes USGS water monitoring programs
نویسندگان
چکیده
منابع مشابه
Partitioning of catchment water budget
Partitioning of catchment water budget and its implications for ecosystem carbon exchange D. Lee, J. Kim, K.-S. Lee, and S. Kim Dept. of Atmospheric Sciences, Yonsei Univ., Seoul, 120-749, Korea Korea Basic Science Institute, Daejon, 305-333, Korea Korea Institute of Construction Technology (Sustainable Water Resource Research Center), Goyang, 411-712, Korea Received: 31 August 2009 – Accepted:...
متن کاملImplications of Budget Reconciliation for Commodity Programs
There appears to be a renewed emphasis in Washington on reducing the federal budget deficit. Although the US economy is improving, it appears that the only way to make real progress in reducing the deficit is to reduce government expenditures. The desire to reduce the deficit, coupled with the President’s agenda that includes several controversial and potentially costly items, has many in Washi...
متن کاملLegislative Committee Slashes College Item from Budgets
l!v WILLIAM M. FKLNI II K.lil.i, ill I In, I. M V'l'l( "Ml-,.I NKWS ( h e a l s l r id rs f o r w a r d in tincdin•ai inmi l f ield may conf ident ly be expected o f State College w i t h i n the next lew years, a s u m m a r y u f the address In President \ . K. Brubacher before the eastern d ist r ic t a l umn i association Saturday, shows. A long w i th the projected expansion in physical eq...
متن کاملUSGS directions in MODFLOW development.
Introduction The development and application of ground-water models has been an important component of USGS hydrologic investigations since the early 1970s. During the past 35 years, the USGS has developed a wide range of computer models to simulate saturated and unsaturated subsurface flow, solute transport, and chemical reactions. The most widely used of these programs is the MODFLOW model, w...
متن کاملMonitoring Programs Using Rewriting
We present a rewriting algorithm for efficiently testing future time Linear Temporal Logic (LTL) formulae on finite execution traces. The standard models of LTL are infinite traces, reflecting the behavior of reactive and concurrent systems which conceptually may be continuously alive. In most past applications of LTL, theorem provers and model checkers have been used to formally prove that dow...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Environmental Science & Technology
سال: 2001
ISSN: 0013-936X,1520-5851
DOI: 10.1021/es012366x